Using Little-JIL to Define Containment Units
نویسندگان
چکیده
Self-healing systems must be able to adapt to errors and changing resource environments without human intervention. We propose an architectural style, called Containment Units, particularly intended for self-healing systems. Containment Units feature the use of operational, evaluator, and change agent modules to encapsulate different activities required in self-healing systems. We present this architectural style along with the use of Little-JIL, a visual coordination language, to describe the high-level interactions among the modules of a containment unit.
منابع مشابه
Model Checking of Software Processes
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and control flow among the subsystems and exception handling activities. The resulting systems are often highly concurrent with activities distributed over many computers. Adequately testing these systems is not feasible due t...
متن کاملSpecifying Process Coordination Using Little-JIL
This paper presents Little-JIL, a new language for programming agent coordination. Little-JIL is an executable, highlevel process language with a formal (yet graphical) syntax and rigorously defined operational semantics. The central abstraction in Little-JIL is the “step.” Little-JIL steps serve as focus for other coordinationsupporting features and provide a scoping mechanism for control, dat...
متن کاملSpecifying Coordination in Processes Using Little-JIL
Little-JIL, a new language for programming coordination in processes is an executable, high-level process language with a formal (yet graphical) syntax and rigorously defined operational semantics. The central abstraction in Little-JIL is the “step.” Little-JIL steps serve as focus for coordination and provide a scoping mechanism for control, data, and exception flow and for agent and resource ...
متن کاملEvaluation of Little-JIL 1.0 with ISPW-6 Software Process Example
Little-JIL is a new process language that focuses on the coordination aspects of processes and provides a formal yet graphical syntax and rigorous operational semantics. This report is to evaluate and analyze Little-JIL 1.0, the current version of Little-JIL. I present solutions to the ISPW-6 software process example with both Little-JIL and another process language HI-PLAN, and then compare bo...
متن کاملApplying Little-JIL to Describe Process-Agent Knowledge in SoftPM
In a software process modeling method based upon the Organization-Entity capability, the Process-Agent is a well-defined unit whose role is to encapsulate an entity’s knowledge, skill etc. The Process-Agent’s infrastructure comprises descriptive knowledge, process knowledge and an experience library. The process knowledge is represented by process steps, whose execution determines the behaviors...
متن کامل